Extended Mathematical Programming

#	Item
31	Lagrangian Relaxation for Large-Scale Multi-Agent Planning∗ (Extended Abstract) Geoffrey J. Gordon† , Pradeep Varakantham‡ , William Yeoh‡ , Hoong Chuin Lau‡ , Ajay S. Aravamudhan‡ and Shih-Fen Cheng‡ † Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2012-02-29 09:16:26 Convex optimization Dynamic programming Markov processes Stochastic control Lagrangian relaxation Duality Markov decision process Relaxation Randomized rounding Mathematical optimization Statistics Mathematical analysis
32	Preferential Logics: the Predicate Calculus case (extended abstract) Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:56 Non-classical logic Logical syntax Predicate logic Logic programming Default logic First-order logic Function Entailment Propositional formula Logic Mathematical logic Propositional calculus
33	Let’s see how things unfold: reconciling the infinite with the intensional (extended abstract) Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2009-05-23 04:50:00 Functional programming Mathematical logic Theoretical computer science Function Corecursion Coinduction F-coalgebra Anamorphism Universal quantification Category theory Mathematics Declarative programming